A Toolbox for Proving and MaintainingHybrid

A Novel Toolbox for Generating Realistic Biological Cell Geometries for Electromagnetic Microdosimetry

Researchers in bioelectromagnetics often require realistic tissue, cellular and sub-cellular geometry models for their simulations. However, biological shapes are often extremely irregular, while conventional geometrical modeling tools on the market cannot meet the demand for fast and efficient construction of irregular geometries. We have designed a free, user-friendly tool in MATLAB that comb...

Electromembrane Processes, a Toolbox for Advanced Separations

A Toolbox for Proving and

Formal veriication in computer science often takes a worst-case view towards performance and uses induction to prove speciica-tion invariants. In control theory, robust control takes a worst-case view towards performance; nominal performance proofs often use derivative information to prove invariance of speciication sets. In this note, we explore a toolbox for proving (positive) invariance of s...

A Comparative Study on Presumption of Marriage Rule and Genetic Testing for Proving Parentage Under Iranian Law

Family is the most important social group, and the survival of society depends on the survival of the family and its survival depends on legitimate parentage and legal ties. Therefore, the issue of proving the parentage is one of the most sensitive issues in the Islamic law and the legislator has tried to preserve it by enacting laws. From the beginning of Islam until now, in Imami jurisprudenc...

A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving

In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...